attacker = {a: function reachable(){}}
